Nicolas Chuquet: La géométrie. Premiere géométrie algébraique en langue française (1484)
نویسندگان
چکیده
منابع مشابه
Algorithmique pour l'analyse et la modélisation en géométrie discrète
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملEnjeux de la normalisation internationale de la numérisation des écritures et langue française, appropriation d'Unicode
RÉSUMÉ. La langue française a toujours évolué dans des environnements plurilingues, en France et dans le monde. Être en contact avec d’autres langues n’est pas une situation linguistique exceptionnelle mais le français permet à un large ensemble de personnes de procéder à des échanges culturels, économiques et politiques internationaux. De ce fait le français est une langue de réseau. Le standa...
متن کاملLes espaces d'interaction Vers une géométrie des systèmes d'agents mobiles
RÉSUMÉ. Les systèmes d’agents mobiles sont de grande complexité, notamment du fait de leur nature hautement dynamique. Au delà des expérimentations « pratiques », de nombreux travaux s’intéressent à la caractérisation plus fondamentale de ces systèmes. Mais la plupart des approches négligent certains aspects selon nous fondamentaux comme la sémantique de communication. Elles sont de plus généra...
متن کاملTriplets Spectraux En Géométrie D'arakelov Spectral Triples in Arakelov Geometry Abridged English Version
In this note, we use Connes’ theory of spectral triples to provide a connection between Manin’s model of the dual graph of the fiber at infinity of an Arakelov surface and the cohomology of the mapping cone of the local monodromy. Abridged English version In Arakelov theory a completion of an arithmetic surface is achieved by enlarging the group of divisors by formal linear combinations of the ...
متن کاملFormalisation en Coq et visualisation d'un cours de géométrie pour le lycée
Teaching high-school mathematics using a general theorem prover becomes a reachable goal for the near future. In this article, we present a library dealing with geometry in Coq. This library is dedicated to high-school teaching. We stress on using a graphical interface and a drawing tool which ease the accessibility to formal statements. We present some significant examples of statements with f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1984
ISSN: 0315-0860
DOI: 10.1016/0315-0860(84)90046-6